1
기초: 변수 분리에서 S-L 연산자까지
MATH009Lesson 11
00:00

스투름-리우빌(S-L) 이론은 진동하는 현과 전기 전송과 같은 물리적 보존 법칙과 선형 연산자의 형식적 언어 사이의 수학적 다리로 등장한다. 무한소 요소 $\Delta x$에 뉴턴 제2법칙을 적용하고 변수 분리법을 활용함으로써 특정 편미분 방정식(PDE)을 일반화된 상미분 방정식(ODE) 프레임워크 $(p(x)X')' - q(x)X + \lambda r(x)X = 0$로 변환할 수 있다.

운동의 물리학: 현에서 방정식까지

현의 요소 $\Delta x$에 적용되는 뉴턴 법칙은, 요소 양끝의 장력으로 인한 합외력이 요소의 질량과 질량 중심의 가속도의 곱과 같아야 한다고 말한다: $\rho \Delta x u_{tt}(\bar{x}, t)$.

장력 $T$를 수평 성분 $H$와 수직 성분 $V$로 분해한다 (그림 10.B.1에서 볼 수 있듯이) 그림 10.B.1)를 통해 평형과 운동을 설정한다:

  • 수평 평형: $T(x + \Delta x, t) \cos(\theta + \Delta \theta) - T(x, t) \cos \theta = 0$ (상수 $H$를 유도함).
  • 수직 운동: $\frac{V(x + \Delta x, t) - V(x, t)}{\Delta x} = \rho u_{tt}(\bar{x}, t)$, 이는 기울기 관계 $V_x(x, t) = \rho u_{tt}(x, t)$로 이어진다.
  • 파동 전파: 다음과 같이 $V(x, t) = H(t) \tan \theta \approx H(t) u_x(x, t)$를 대입하면 $H u_{xx} = \rho u_{tt}$가 되며, 또는 표준 일차 공간 차원의 파동 방정식: $a^2 u_{xx} = u_{tt}$, 여기서 $a^2 = \frac{T}{\rho}$는 파동 속도.

전신 방정식과 일반화

실제 세계 시스템은 거의 완벽하지 않다. 이들은 점성 감쇠력 ($-c u_t$)과 탄성 회복력 ($-k u$)를 포함한다. 이는 전신 방정식:

$$u_{tt} + c u_t + k u = a^2 u_{xx} + F(x, t)$$

전신 방정식은 전송선에서 전압 또는 전류의 흐름을 결정한다(이름의 유래). 이 경우 계수는 선의 전기적 매개변수와 관련된다. 이를 고차원으로 확장하면 $a^2(u_{xx} + u_{yy}) = u_{tt}$ 또는 $a^2(u_{xx} + u_{yy} + u_{zz}) = u_{tt}$가 된다.

S-L 연산자의 탄생

예를 들어 $r(x) u_t = (p(x) u_x)_x - q(x) u$와 같은 일반화된 방정식에 변수 분리($u = X(x)T(t)$)를 적용하면, 분리 상수 $-\lambda$와 동일한 비율을 얻게 된다:

분리 단계
$$\frac{T'}{T} = \frac{(p(x) X')'}{r(x) X} - \frac{q(x)}{r(x)} = -\lambda$$
결과로 얻어지는 상미분 방정식들

이것은 시간 성분을 $T' + \lambda T = 0$로, 공간 성분을 기본적인 S-L 형태로 강제한다:

$$(p(x) X')' - q(x)X + \lambda r(x)X = 0$$
🎯 핵심 원리
S-L 연산자 $L[y] = -(p(x)y')' + q(x)y$는 공간 역학의 보편적인 용기 역할을 한다. 열전도($\alpha^2 u_{xx} = u_t$) 또는 진동하는 현($a^2 u_{xx} = u_{tt}$)에서 시작하든, 공간 성분 $X(x)$는 항상 S-L 고유값 문제로 축소된다.